package kunsch.bdd;

import java.awt.List;
import java.util.ArrayList;

public abstract class AbstractBDD
{
	public static AbstractNode OneNode = new Node("ONE");
	public static AbstractNode ZeroNode = new Node("ZERO");

	ArrayList<AbstractNode> nodes;

	public AbstractBDD()
	{
		this.nodes = new ArrayList<AbstractNode>();
	}

	public void addNode(AbstractNode node)
	{
		nodes.add(node);
	}
	
	public ArrayList<AbstractNode> getNodes()
	{
		return nodes;
	}

}
